C2^2xC4:1D4 - GroupNames

G = C₂²×C₄⋊₁D₄ order 128 = 2⁷

Direct product of C₂² and C₄⋊₁D₄

direct product, p-group, metabelian, nilpotent (class 2), monomial, rational

Aliases: C₂²×C₄⋊₁D₄, C₄²⋊₂₂C₂³, C₂⁵.₇₂C₂², C₂³.₁₄C₂⁴, C₂².₂₉C₂⁵, C₂⁴.₄₇₆C₂³, C₄⋊₁(C₂²×D₄), (C₂²×C₄)⋊₄₉D₄, (C₂×D₄)⋊₁₆C₂³, (D₄×C₂³)⋊₁₁C₂, C₂.₁₀(D₄×C₂³), (C₂×C₄).₅₉₇C₂⁴, (C₂×C₄²)⋊₉₁C₂², (C₂²×C₄²)⋊₂₃C₂, C₂³.₈₉₁(C₂×D₄), (C₂²×D₄)⋊₅₉C₂², (C₂³×C₄).₇₀₅C₂², C₂².₁₅₉(C₂²×D₄), (C₂²×C₄).₁₅₈₃C₂³, (C₂×C₄)⋊₁₅(C₂×D₄), SmallGroup(128,2172)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂² — C₂²×C₄⋊₁D₄

Chief series

C₁ — C₂ — C₂² — C₂³ — C₂⁴ — C₂³×C₄ — C₂²×C₄² — C₂²×C₄⋊₁D₄

Lower central

C₁ — C₂² — C₂²×C₄⋊₁D₄

Upper central

C₁ — C₂⁴ — C₂²×C₄⋊₁D₄

Jennings

C₁ — C₂² — C₂²×C₄⋊₁D₄

Generators and relations for C₂²×C₄⋊₁D₄
G = < a,b,c,d,e | a²=b²=c⁴=d⁴=e²=1, ab=ba, ac=ca, ad=da, ae=ea, bc=cb, bd=db, be=eb, cd=dc, ece=c^-1, ede=d^-1 >

Subgroups: 2796 in 1500 conjugacy classes, 556 normal (5 characteristic)
C₁, C₂, C₂, C₄, C₂², C₂², C₂², C₂×C₄, D₄, C₂³, C₂³, C₄², C₂²×C₄, C₂×D₄, C₂×D₄, C₂⁴, C₂⁴, C₂⁴, C₂×C₄², C₄⋊₁D₄, C₂³×C₄, C₂²×D₄, C₂²×D₄, C₂⁵, C₂²×C₄², C₂×C₄⋊₁D₄, D₄×C₂³, C₂²×C₄⋊₁D₄
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂×D₄, C₂⁴, C₄⋊₁D₄, C₂²×D₄, C₂⁵, C₂×C₄⋊₁D₄, D₄×C₂³, C₂²×C₄⋊₁D₄

Smallest permutation representation of C₂²×C₄⋊₁D₄
►On 64 points

Generators in S₆₄

(1 24)(2 21)(3 22)(4 23)(5 56)(6 53)(7 54)(8 55)(9 48)(10 45)(11 46)(12 47)(13 64)(14 61)(15 62)(16 63)(17 35)(18 36)(19 33)(20 34)(25 38)(26 39)(27 40)(28 37)(29 43)(30 44)(31 41)(32 42)(49 60)(50 57)(51 58)(52 59)

(1 18)(2 19)(3 20)(4 17)(5 46)(6 47)(7 48)(8 45)(9 54)(10 55)(11 56)(12 53)(13 58)(14 59)(15 60)(16 57)(21 33)(22 34)(23 35)(24 36)(25 41)(26 42)(27 43)(28 44)(29 40)(30 37)(31 38)(32 39)(49 62)(50 63)(51 64)(52 61)

(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)(33 34 35 36)(37 38 39 40)(41 42 43 44)(45 46 47 48)(49 50 51 52)(53 54 55 56)(57 58 59 60)(61 62 63 64)

(1 31 59 55)(2 32 60 56)(3 29 57 53)(4 30 58 54)(5 21 42 49)(6 22 43 50)(7 23 44 51)(8 24 41 52)(9 17 37 13)(10 18 38 14)(11 19 39 15)(12 20 40 16)(25 61 45 36)(26 62 46 33)(27 63 47 34)(28 64 48 35)

(1 50)(2 49)(3 52)(4 51)(5 56)(6 55)(7 54)(8 53)(9 48)(10 47)(11 46)(12 45)(13 35)(14 34)(15 33)(16 36)(17 64)(18 63)(19 62)(20 61)(21 60)(22 59)(23 58)(24 57)(25 40)(26 39)(27 38)(28 37)(29 41)(30 44)(31 43)(32 42)

G:=sub<Sym(64)| (1,24)(2,21)(3,22)(4,23)(5,56)(6,53)(7,54)(8,55)(9,48)(10,45)(11,46)(12,47)(13,64)(14,61)(15,62)(16,63)(17,35)(18,36)(19,33)(20,34)(25,38)(26,39)(27,40)(28,37)(29,43)(30,44)(31,41)(32,42)(49,60)(50,57)(51,58)(52,59), (1,18)(2,19)(3,20)(4,17)(5,46)(6,47)(7,48)(8,45)(9,54)(10,55)(11,56)(12,53)(13,58)(14,59)(15,60)(16,57)(21,33)(22,34)(23,35)(24,36)(25,41)(26,42)(27,43)(28,44)(29,40)(30,37)(31,38)(32,39)(49,62)(50,63)(51,64)(52,61), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,31,59,55)(2,32,60,56)(3,29,57,53)(4,30,58,54)(5,21,42,49)(6,22,43,50)(7,23,44,51)(8,24,41,52)(9,17,37,13)(10,18,38,14)(11,19,39,15)(12,20,40,16)(25,61,45,36)(26,62,46,33)(27,63,47,34)(28,64,48,35), (1,50)(2,49)(3,52)(4,51)(5,56)(6,55)(7,54)(8,53)(9,48)(10,47)(11,46)(12,45)(13,35)(14,34)(15,33)(16,36)(17,64)(18,63)(19,62)(20,61)(21,60)(22,59)(23,58)(24,57)(25,40)(26,39)(27,38)(28,37)(29,41)(30,44)(31,43)(32,42)>;

G:=Group( (1,24)(2,21)(3,22)(4,23)(5,56)(6,53)(7,54)(8,55)(9,48)(10,45)(11,46)(12,47)(13,64)(14,61)(15,62)(16,63)(17,35)(18,36)(19,33)(20,34)(25,38)(26,39)(27,40)(28,37)(29,43)(30,44)(31,41)(32,42)(49,60)(50,57)(51,58)(52,59), (1,18)(2,19)(3,20)(4,17)(5,46)(6,47)(7,48)(8,45)(9,54)(10,55)(11,56)(12,53)(13,58)(14,59)(15,60)(16,57)(21,33)(22,34)(23,35)(24,36)(25,41)(26,42)(27,43)(28,44)(29,40)(30,37)(31,38)(32,39)(49,62)(50,63)(51,64)(52,61), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,31,59,55)(2,32,60,56)(3,29,57,53)(4,30,58,54)(5,21,42,49)(6,22,43,50)(7,23,44,51)(8,24,41,52)(9,17,37,13)(10,18,38,14)(11,19,39,15)(12,20,40,16)(25,61,45,36)(26,62,46,33)(27,63,47,34)(28,64,48,35), (1,50)(2,49)(3,52)(4,51)(5,56)(6,55)(7,54)(8,53)(9,48)(10,47)(11,46)(12,45)(13,35)(14,34)(15,33)(16,36)(17,64)(18,63)(19,62)(20,61)(21,60)(22,59)(23,58)(24,57)(25,40)(26,39)(27,38)(28,37)(29,41)(30,44)(31,43)(32,42) );

G=PermutationGroup([[(1,24),(2,21),(3,22),(4,23),(5,56),(6,53),(7,54),(8,55),(9,48),(10,45),(11,46),(12,47),(13,64),(14,61),(15,62),(16,63),(17,35),(18,36),(19,33),(20,34),(25,38),(26,39),(27,40),(28,37),(29,43),(30,44),(31,41),(32,42),(49,60),(50,57),(51,58),(52,59)], [(1,18),(2,19),(3,20),(4,17),(5,46),(6,47),(7,48),(8,45),(9,54),(10,55),(11,56),(12,53),(13,58),(14,59),(15,60),(16,57),(21,33),(22,34),(23,35),(24,36),(25,41),(26,42),(27,43),(28,44),(29,40),(30,37),(31,38),(32,39),(49,62),(50,63),(51,64),(52,61)], [(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32),(33,34,35,36),(37,38,39,40),(41,42,43,44),(45,46,47,48),(49,50,51,52),(53,54,55,56),(57,58,59,60),(61,62,63,64)], [(1,31,59,55),(2,32,60,56),(3,29,57,53),(4,30,58,54),(5,21,42,49),(6,22,43,50),(7,23,44,51),(8,24,41,52),(9,17,37,13),(10,18,38,14),(11,19,39,15),(12,20,40,16),(25,61,45,36),(26,62,46,33),(27,63,47,34),(28,64,48,35)], [(1,50),(2,49),(3,52),(4,51),(5,56),(6,55),(7,54),(8,53),(9,48),(10,47),(11,46),(12,45),(13,35),(14,34),(15,33),(16,36),(17,64),(18,63),(19,62),(20,61),(21,60),(22,59),(23,58),(24,57),(25,40),(26,39),(27,38),(28,37),(29,41),(30,44),(31,43),(32,42)]])

56 conjugacy classes

class	1	2A	···	2O	2P	···	2AE	4A	···	4X
order	1	2	···	2	2	···	2	4	···	4
size	1	1	···	1	4	···	4	2	···	2

56 irreducible representations

dim	1	1	1	1	2
type	+	+	+	+	+
image	C₁	C₂	C₂	C₂	D₄
kernel	C₂²×C₄⋊₁D₄	C₂²×C₄²	C₂×C₄⋊₁D₄	D₄×C₂³	C₂²×C₄
# reps	1	1	24	6	24

Matrix representation of C₂²×C₄⋊₁D₄ ►in GL₆(ℤ)

-1	0	0	0	0	0
0	1	0	0	0	0
0	0	1	0	0	0
0	0	0	1	0	0
0	0	0	0	-1	0
0	0	0	0	0	-1

-1	0	0	0	0	0
0	-1	0	0	0	0
0	0	-1	0	0	0
0	0	0	-1	0	0
0	0	0	0	1	0
0	0	0	0	0	1

1	0	0	0	0	0
0	-1	0	0	0	0
0	0	-1	0	0	0
0	0	0	-1	0	0
0	0	0	0	1	-1
0	0	0	0	2	-1

-1	0	0	0	0	0
0	-1	0	0	0	0
0	0	0	-1	0	0
0	0	1	0	0	0
0	0	0	0	1	0
0	0	0	0	0	1

1	0	0	0	0	0
0	-1	0	0	0	0
0	0	1	0	0	0
0	0	0	-1	0	0
0	0	0	0	1	0
0	0	0	0	2	-1

G:=sub<GL(6,Integers())| [-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,2,0,0,0,0,-1,-1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,2,0,0,0,0,0,-1] >;

C₂²×C₄⋊₁D₄ in GAP, Magma, Sage, TeX

C_2^2\times C_4\rtimes_1D_4

% in TeX

G:=Group("C2^2xC4:1D4");

// GroupNames label

G:=SmallGroup(128,2172);

// by ID

G=gap.SmallGroup(128,2172);

# by ID

G:=PCGroup([7,-2,2,2,2,2,-2,2,477,232,1430,352]);

// Polycyclic

G:=Group<a,b,c,d,e|a^2=b^2=c^4=d^4=e^2=1,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,b*c=c*b,b*d=d*b,b*e=e*b,c*d=d*c,e*c*e=c^-1,e*d*e=d^-1>;

// generators/relations

G = C22×C4⋊1D4 order 128 = 27

Direct product of C22 and C4⋊1D4

G = C₂²×C₄⋊₁D₄ order 128 = 2⁷

Direct product of C₂² and C₄⋊₁D₄